converse of Thales theorem